RealizerScheme{i:l}() == n:  (L:(Id List)  (Namer(n;L)Realizer)) 

latex

---

clarification:

RealizerScheme{i:l} == n:  (L:(Id List)  (Namer(n;L)es_realizer{i:l})) 

latex

Definitions	, x:A  B(x), type List, Id, x:AB(x), Namer(n;Id_list), Realizer
FDL editor aliases	RealizerScheme